package com.example.myapplication.kotlin

/*
 集合类型-List-通过泛类实现编译时检查安全(了解即可)
 */
fun main() {
    collection()
}

// 1. 集合类
fun collection() {
    // 类型安全的集合
    val names: List<String> = listOf("Alice", "Bob")
    val ages: List<Int> = listOf(25, 30)

    // 编译时类型检查（安全！）
    val firstChar = names[0].first() // 直接调用String方法
    val doubledAge = ages[0] * 2     // 直接进行数学运算
    println("第一个字符: $firstChar, Doubled age: $doubledAge")

    // 错误示例（会被编译器阻止）
    // val wrong = names[0] * 2 // 编译错误：String 不能相乘
}
/*
创建类型安全的集合：
names 集合只能存储 String 类型数据
ages 集合只能存储 Int 类型数据
展示类型安全优势：
可以直接调用特定类型的方法（如 String.first()）
可以直接进行类型匹配的运算（如 Int * 2）
编译器会阻止不合理的类型操作
 */